<?php
	/**
	 * File representative of a certain resource.
	 * @author IMP
	 */ 
	
	interface Resource {
		public function save(File $f);
		public static function formFilename($name);
		public static function open(File $f);
	}
?>